Attribute Exploration of Discrete Temporal Transitions

Discrete temporal transitions occur in a variety of domains, but this work is mainly motivated by applications in molecular biology: explaining and analyzing observed transcriptome and proteome time series by literature and database knowledge. The starting point of a formal concept analysis model is presented. The objects of a formal context are states of the interesting entities, and the attributes are the variable properties defining the current state (e.g. observed presence or absence of proteins). Temporal transitions assign a relation to the objects, defined by deterministic or non-deterministic transition rules between sets of pre- and postconditions. This relation can be generalized to its transitive closure, i.e. states are related if one results from the other by a transition sequence of arbitrary length. The focus of the work is the adaptation of the attribute exploration algorithm to such a relational context, so that questions concerning temporal dependencies can be asked during the exploration process and be answered from the computed stem base. Results are given for the abstract example of a game and a small gene regulatory network relevant to a biomedical question.Comment: Only the email address and reference have been replace

Attribute Exploration of Gene Regulatory Processes

This thesis aims at the logical analysis of discrete processes, in particular of such generated by gene regulatory networks. States, transitions and operators from temporal logics are expressed in the language of Formal Concept Analysis. By the attribute exploration algorithm, an expert or a computer program is enabled to validate a minimal and complete set of implications, e.g. by comparison of predictions derived from literature with observed data. Here, these rules represent temporal dependencies within gene regulatory networks including coexpression of genes, reachability of states, invariants or possible causal relationships. This new approach is embedded into the theory of universal coalgebras, particularly automata, Kripke structures and Labelled Transition Systems. A comparison with the temporal expressivity of Description Logics is made. The main theoretical results concern the integration of background knowledge into the successive exploration of the defined data structures (formal contexts). Applying the method a Boolean network from literature modelling sporulation of Bacillus subtilis is examined. Finally, we developed an asynchronous Boolean network for extracellular matrix formation and destruction in the context of rheumatoid arthritis.Comment: 111 pages, 9 figures, file size 2.1 MB, PhD thesis University of Jena, Germany, Faculty of Mathematics and Computer Science, 2011. Online available at http://www.db-thueringen.de/servlets/DocumentServlet?id=1960

Anti-inflammatory effects of reactive oxygen species : a multi-valued logical model validated by formal concept analysis

CITATION: Wollbold, J. et al. 2015. Anti-inflammatory effects of reactive oxygen species : a multi-valued logical model validated by formal concept analysis. BMC Systems Biology, 8:101, doi:10.1186/s12918-014-0101-7.The original publication is available at http://bmcsystbiol.biomedcentral.comBackground: Recent findings suggest that in pancreatic acinar cells stimulated with bile acid, a pro-apoptotic effect of reactive oxygen species (ROS) dominates their effect on necrosis and spreading of inflammation. The first effect presumably occurs via cytochrome C release from the inner mitochondrial membrane. A pro-necrotic effect – similar to the one of Ca2+ – can be strong opening of mitochondrial pores leading to breakdown of the membrane potential, ATP depletion, sustained Ca2+ increase and premature activation of digestive enzymes. To explain published data and to understand ROS effects during the onset of acute pancreatitis, a model using multi-valued logic is constructed. Formal concept analysis (FCA) is used to validate the model against data as well as to analyze and visualize rules that capture the dynamics. Results: Simulations for two different levels of bile stimulation and for inhibition or addition of antioxidants reproduce the qualitative behaviour shown in the experiments. Based on reported differences of ROS production and of ROS induced pore opening, the model predicts a more uniform apoptosis/necrosis ratio for higher and lower bile stimulation in liver cells than in pancreatic acinar cells. FCA confirms that essential dynamical features of the data are captured by the model. For instance, high necrosis always occurs together with at least a medium level of apoptosis. At the same time, FCA helps to reveal subtle differences between data and simulations. The FCA visualization underlines the protective role of ROS against necrosis. Conclusions: The analysis of the model demonstrates how ROS and decreased antioxidant levels contribute to apoptosis. Studying the induction of necrosis via a sustained Ca2+ increase, we implemented the commonly accepted hypothesis of ATP depletion after strong bile stimulation. Using an alternative model, we demonstrate that this process is not necessary to generate the dynamics of the measured variables. Opening of plasma membrane channels could also lead to a prolonged increase of Ca2+ and to necrosis. Finally, the analysis of the model suggests a direct experimental testing for the model-based hypothesis of a self-enhancing cycle of cytochrome C release and ROS production by interruption of the mitochondrial electron transport chain.http://bmcsystbiol.biomedcentral.com/articles/10.1186/s12918-014-0101-7Publisher's versio